Don't Repeat Yourself, Coarse-Grained Circuit Deduplication to Accelerate Sim
danglingpointers.substack.com·16h·
Discuss: Substack
🖥️Game Emulation
Renesas RA4C1 Arm Cortex-M33 MCU targets Smart Meters and energy-efficient IoT applications
cnx-software.com·22h
🔌Microcontrollers
Quantifying Thermal Gradient Impact on 40-Layer Stack Die Reliability through Bayesian Network Analysis
dev.to·13h·
Discuss: DEV
⚙️Modern Assembly
HigherOrderCO/HVM3
github.com·5h
🔗Functional Compilers
Saleae Analyzer for the BDM protocol
zetier.com·2d
🔬Binary Analysis
Back to the 90s on Real Hardware
hackaday.com·1h
🕹️Retro Gaming
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·7h
⚔️Lean Theorem
AI Code Generation: Trust and Verify, Always
thenewstack.io·16h
⚙️Proof Engineering
A primer on code generation in Cranelift by Benjamin Bouvier
bouvier.cc·3d
🦀Rust Macros
Get Back To WARP
binary.ninja·13h
🧪Binary Fuzzing
Optimizing multiprecision LLL in FLINT
fredrikj.net·2d
🧮Algebraic Datatypes
FFmpeg 8.0 Released
ffmpeg.org·3h·
Discuss: Hacker News
🎬AV1 Encoding
Scheme Basics
courses.cs.washington.edu·18h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Fuzzing Hardware Like Software (2021)
arxiv.org·3d·
Discuss: Hacker News
🧪Hardware Fuzzing
LGA1700 2u coolers
reddit.com·1d·
Discuss: r/homelab
🧲RISC-V Preservation
LLMs are NOT Turing Complete (at train time), we need "train time recurrence"
fchaubard.github.io·4h·
Discuss: Hacker News
📼Tape Combinators
ReVault Flaw Exposed Millions of Dell Laptops to Malicious Domination
darkreading.com·10h
🔓Hacking
Building the Chiplet Ecosystem – By Austin Lyons
chipstrat.com·1d·
Discuss: Hacker News
🧲RISC-V Archaeology
Learn every individual feature your CPU supports with SpecSeek
github.com·12h·
Discuss: Hacker News
⚡Performance Tools
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·1d
🧮SMT Solvers